proof of the derivative of csc x